CAViT: a Consistency Maintenance Framework based on Transformation Contracts

Design by contract is a software correctness methodology for procedural and object-oriented software. It relies on logical assertions to detect implementation mistakes at run-time or to proof the absence thereof at compile-time. Design by contract has found a new application in model driven engineering, a methodology that aims to manage the complexity of frameworks by relying on models and transformations. A ``transformation contract\u27\u27 is a pair of constraints that together describe the effect of a transformation rule on the set of models contained in its transformation definition: the postcondition describes the model consistency state that the rule can establish provided that its precondition is satisfied. A transformation contract of a rule can be maintained automatically by calling the rule (1) as soon as the invariant corresponding to its postcondition is violated and (2) provided that its precondition is satisfied. Domain specific visual languages can facilitate the implementation of the actual transformation rules since they hide the complexity of graph transformation algorithms and standards for tool interoperability. In this talk, we describe CAViT: a framework that integrates a visual model transformation tool with a design by contract tool by relying on OMG standards such as UML, OCL and MOF

HelloWorld! An Instructive Case for the Transformation Tool Contest

This case comprises several primitive tasks that can be solved straight away with most transformation tools. The aim is to cover the most important kinds of primitive operations on models, i.e. create, read, update and delete (CRUD). To this end, tasks such as a constant transformation, a model-to-text transformation, a very basic migration transformation or diverse simple queries or in-place operations on graphs have to be solved. The motivation for this case is that the results expectedly will be very instructive for beginners. Also, it is really hard to compare transformation languages along complex cases, because the complexity of the respective case might hide the basic language concepts and constructs.Comment: In Proceedings TTC 2011, arXiv:1111.440

SciModeler: A Metamodel and Graph Database for Consolidating Scientific Knowledge by Linking Empirical Data with Theoretical Constructs

An important purpose of science is building and advancing general theories from empirical data. This process is complicated by the immense volume of empirical data and scientific theories in some fields. Particularly, the systematic linking of empirical data with theoretical constructs is currently lacking. Within this article, we propose a prototypical solution (i.e., a metamodel and graph database) for consolidating scientific knowledge by linking theoretical constructs with empirical data. We conducted a case study within the field of health behavior change where the system is used to record three scientific theories and three empirical studies as well as their mutual links. Finally, we demonstrate how the system can be queried to accumulate knowledge

Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case

In this paper we apply the UML-RSDS notation and tools to the "Hello World" case studies and explain the underlying development process for this model transformation approach.Comment: In Proceedings TTC 2011, arXiv:1111.440

Solving the TTC 2011 Model Migration Case with UML-RSDS

In this paper we apply the UML-RSDS notation and tools to the GMF model migration case study and explain how to use the UML-RSDS tools.Comment: In Proceedings TTC 2011, arXiv:1111.440

Preface:Proceedings of the 8th International Workshop on OCL Concepts and Tools (OCL 2008) at MoDELS 2008

This document reports on the 8th OCL workshop held at the MODELS conference in 2008. The workshop focussed on how to evaluate, compare and select the right OCL tools for a given purpose and how to deal with the expressiveness and complexity of OCL. The workshop included sessions with paper presentations as well as a special tool demo session.</p

Solving the TTC 2011 Reengineering Case with GrGen.NET

The challenge of the Reengineering Case is to extract a state machine model out of the abstract syntax graph of a Java program. The extracted state machine offers a reduced view on the full program graph and thus helps to understand the program regarding the question of interest. We tackle this task employing the general purpose graph rewrite system GrGen.NET (www.grgen.net).Comment: In Proceedings TTC 2011, arXiv:1111.440

Impact of a comprehensive cardiac rehabilitation programme versus coronary revascularisation in patients with stable angina pectoris:study protocol for the PRO-FIT randomised controlled trial

Background: Currently, in the majority of patients with stable angina pectoris (SAP) treatment consists of optimal medical treatment, potentially followed by coronary angiography and subsequent coronary revascularisation if necessary”. Recent work questioned the effectiveness of these invasive procedures in reducing re-events and improving prognosis. The potential of exercise-based cardiac rehabilitation on clinical outcomes in patients with coronary artery disease is well-known. However, in the modern era, no studies compared the effects of cardiac rehabilitation versus coronary revascularisation in patients with SAP. Methods: In this multicentre randomised controlled trial, 216 patients with stable angina pectoris and residual anginal complaints under optimal medical treatment will be randomised to: 1) usual care (i.e., coronary revascularisation), or 2) a 12-month cardiac rehabilitation (CR) programme. CR consists of a multidisciplinary intervention, including education, exercise training, lifestyle coaching and a dietary intervention with a stepped decline in supervision. The primary outcome will be anginal complaints (Seattle Angina Questionnaire-7) following the 12-month intervention. Secondary outcomes include cost-effectiveness, ischemic threshold during exercise, cardiovascular events, exercise capacity, quality of life and psychosocial wellbeing. Discussion: In this study, we will examine the hypothesis that multidisciplinary CR is at least equally effective in reducing anginal complaints as the contemporary invasive approach at 12-months follow-up for patients with SAP. If proven successful, this study will have significant impact on the treatment of patients with SAP as multidisciplinary CR is a less invasive and potentially less costly and better sustainable treatment than coronary revascularisations. Trial registration: Netherlands Trial Register, NL9537. Registered 14 June 2021.</p

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

In this short paper we present our solution for the Compiler Optimization case study of the Transformation Tool Contest (TTC) 2011 using the QVTR-XSLT tool. The tool supports editing and execution of the graphical notation of QVT Relations languageComment: In Proceedings TTC 2011, arXiv:1111.440